زندگی نامه گودل

استدلالِ هستی‌شناسیکِ گودل

کورت گودل در فوریة‌‌ ۱۹۷۰ با دِینا اسکات دربارة‌‌ استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة‌‌ دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به ‌شرط پذیرش نظام منطقی، نتیجة‌‌ گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به ‌دست می‌‌آی...

برهان وجود شناختی کورت گودل

زندگی نامه استاد فقید دکتر مهدی شهیدی

استدلالِ هستی شناسیکِ گودل

کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

قضیة ناتمامیت گودل و فلسفة ذهن

یکی از کاربردهای اساسی قضایای ناتمامیت گودل در فلسفه، نقش آن‌ها در استدلال‌هایی است که بین ذهن انسان از یک طرف و یک الگوریتم (ماشین) یا نظام صوری متناهی از طرف دیگر مقایسه به عمل می‌آورند. دو استدلال متمایز در این زمینه مطرح گشته است. در هر دو استدلال درک صدق جملة گودل توسط انسان، به عنوان ملاکی برای تفوق بر هر ماشینی قلمداد شده است. اما ایرادهایی چند بر هر دو استدلال وارد است. در این مقاله با ...

زندگی نامه فریتیوف شوان*

فریتیوف شوان (1) امروزه بزرگترین عرضه‏کننده آموزه‏های سنتی یا آن چیزی است که حکمت‏خالده یا کلیه نیز خوانده می‏شود. آثارش، که بیشتر در اصل به زبان فرانسه نوشته شده است، به اکثر زبانهای اروپایی بویژه انگلیسی، و نیز به اکثر زبانهای کشورهای اسلامی، مثل عربی، فارسی، مالایایی و اردو برگردانده شده و یکی از کتابهایش اصلا در هند منتشر شده است. تفکر او نه تنها در هر دو طرف اقیانوس اطلس بلکه در سرتاسر جها...